2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, 341)
Sten Lindstrom
,
Erik Palmgren
,
Krister Segerberg
,
Viggo Stoltenberg-Hansen
Категория:
Математика
,
Математическая логика
3.36 Mb
#2
Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, 341)
Sten Lindstrom
,
Erik Palmgren
,
Krister Segerberg
,
Viggo Stoltenberg-Hansen
Категория:
Математика
,
Математическая логика
3.15 Mb
#3
Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, Volume 341)
Sten Lindström
,
Erik Palmgren
,
Krister Segerberg
,
Viggo Stoltenberg-Hansen
Категория:
Математика
,
Математическая логика
3.32 Mb
#4
A Concise Introduction to Propositional Dynamic Logic
Krister Segerberg
1.99 Mb